Wendler 531 Program Analysis: Does It Really Work